Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to gain a strong sense of non-linearity.
First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation.
Universität des Saarlandes. Multimodal and perceptive user interfaces, user modeling, ambient intelligence, embodied conversational agents, smart navigation systems, semantic web services, and resource-adaptive cognitive technologies, VERMOBIL.